COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	"Double Computer Modern Symbols 10 point"
C00005 ENDMK
C⊗;
"Double Computer Modern Symbols 10 point";
ph=2*250/36; px=2*165/36; pe=2*90/36; pd=2*70/36;
pb=2*20/36; po=2*8/36; ps=2*20/36; pas=2*70/36; pa=.5(ph-pd);
pw=2*12/36; pwi=2*27/36; pwii=2*32/36; pwiii=2*38/36;
pwiv=2*32/36; pwv=2*38/36; aspect=1.0; pdel=0;
pu=2*20/36; lcs=1.4; ucs=1.9; sc=0; ls=0;
slant=.25; sqrttwo=sqrt 2; fixwidth=0; crisp=1;
phh=ph-pssd; phhh=ph-2*18/36; pssd=.5po; pdd=pd.
input cmbase; call fontbegin;
input symbol;
texinfo 0,	% math spacing should be variable
	pa+3.51prt+pd+pb,	% numerator baseline in displays
	pa+1.51prt,	% numerator baseline in nondisplays, nonatops
	pa+1.51prt+2*48/36,	% numerator baseline in nondisplay atops
	-(pa-3.51prt-.7phhh-2*104/36),	% denominator baseline in displays
	-(pa-1.51prt-.7phhh),	% denominator baseline in nondisplays
	2*8.99-.7ph,	% superscript baseline in unmodified displays
	2*8.49-.7ph,	% superscript baseline in unmodified nondisplays
	2*104/36,	% superscript baseline in modified styles
	2*54/36,	% subscript baseline when superscript absent
	2*8.49-.7ph-2*1.5-.7ph,	% subscript baseline when superscript present
	.7ph-2*1,	% baseline offset for superscripted large boxes
	2*18/36,	% baseline offset for subscripted large boxes
	2*23.9,	% size of \comb delimiters in displays
	2*10.1,	% size of \comb delimiters in nondisplays
	pa;	% axis height
end